Merge branch 'ebassi/ci-cleanup-master' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 17 Jun 2020 15:06:44 +0000 (15:06 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 17 Jun 2020 15:06:44 +0000 (15:06 +0000)
Small clean ups for the CI file

See merge request GNOME/gtk!2102


Trivial merge